Formal Methods Research at SICS and KTH
نویسندگان
چکیده
منابع مشابه
Formal Methods Research at SICS and KTH: An Overview
The Formal Design Techniques (FDT) Lab at SICS 3 with associated members at the Laboratory of Electronics and Computer Systems (LECS) at the Department of Microelectronics and Information Technology, KTH 4 performs research on theories, tools, and applications of formal methods with particular emphasis on security aspects of distributed systems. The overall focus is on automated and semiautomat...
متن کاملSome Notes about Research and Development at KTH
The department is engaged in European cooperation within the COST-projec t on speech synthesis and recognition, and has also been invited to the European Community project on Blindness and Technology. Together with the Swedish Telecom, we are engaged in the SAM project (Speech Assessment Methods) in the second phase of ESPRIT. The Swedish Teleeom is an important industrial contact for the depar...
متن کاملExperiments and formal methods for privacy research
In the light of reportedly rising concerns about privacy and their inhibition to electronic business growth, companies could market efficient privacy as a win-win situation. But our understanding into consumers’ privacy attitudes and subsequently into their privacy-related decision-making online remains limited. As academics, we have a hard time recommending concrete measures for effectively im...
متن کاملSICS Swedish ICT SICS Technical
The liberalised railway market of today calls for new methods to plan the annual timetable. A conflict between two railway undertakings operating in the same market is hard to solve using the current method. Common price setting strategies such as auctions, framework agreements and spot markets may be of help. To administer a long term stability for an operator, framework agreements can be ente...
متن کاملUTA and SICS at CLEF-IP
University of Tampere (UTA) and Swedish Institute of Computer Science (SICS) joined forces in a CLEF-IP experiment where a simple automatic query generation approach was initially tested. For two topics, the extracted query words were compared to query keys selected by three human experts to see whether the automatic key word extraction algorithms seem to be able to extract relevant words from ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80824-7